void modifyValue(int x) {
    x = 10;
}
int main() {
    int a = 5;
    modifyValue(a);
    printf("a = %d